ma{-}interface{-}valtype($I$;$i$;$k$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$ma{-}interface{-}info($I$;$i$;$k$).1